package automaton;
/**
 * @author Zexu Lin E-mail:qoncotemp@gmail.com
 * @version Jul 30, 2012 5:57:11 PM
 * 
 */
public class Monitor {

}
